Mobile
Log In Sign Up
Home > chinese-english > "epistemic logic" in English

English translation for "epistemic logic"

认识逻辑

Related Translations:
epistemic:  adj.认识的;与认识有关的。epistemically adv.
epistemic curiosity:  认识性好奇
epistemic motivation:  求知的动机
epistemic modality:  知识情态
epistemic entailment:  认知衍推
epistemic passive:  准被动
active logic:  有源逻辑
contention logic:  争用逻辑
core logic:  磁心逻辑
hardware logic:  硬件逻辑
Example Sentences:
1.On some problems in the research on epistemic logic
试论认知逻辑研究中的若干问题
2.Epistemic logic : on the decidability of epistemic logic
关于认识逻辑的可判定性
3.Epistemic logic : a logical framework for knowledge and belief
全知性和真知性
4.Reasoning inconsistency among viewpoints using temporal epistemic logic
多视点间不一致性的认知推理
5.Self - belief epistemic logics
自信性认知逻辑
6.Bounded model checking for temporal epistemic logic in synchronous multi - agent systems
有界模型检测同步多智体系统的时态认知逻辑
7.The semantics of this logic are given in terms of a general model of multi - agent system , closely related to the interpreted systems of epistemic logic
该逻辑的语义是以一般的多agent系统模型给出的,并且与认知逻辑的解释系统密切相关。
8.The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms
摘要分析认知逻辑中的逻辑全知问题及其解决方法,提出一种可以避免逻辑全知的认知逻辑el ,并给出其语义和公理系统。
9.This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications
认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达
Similar Words:
"epistaxisandhematemesisaftermenstruation" English translation, "episteme" English translation, "epistemic" English translation, "epistemic curiosity" English translation, "epistemic entailment" English translation, "epistemic modality" English translation, "epistemic motivation" English translation, "epistemic passive" English translation, "epistemically" English translation, "epistemological" English translation